大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IFIP Working Conference on Command Languages 的图书(共6233本)

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

0
索取号：
作者：Esparza、 Javier.、Majumdar、 Rupak.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Dynamics in Logistics [electronic resource] : Second International Conference, LDIC 2009, Bremen, Germany, August 2009, Proceedings

0
索取号：
作者：Kreowski、 Hans-J枚rg.、Scholz-Reiter、 Bernd.、Thoben、 Klaus-Dieter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Compiler Construction [electronic resource] : 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

0
索取号：
作者：Gupta、 Rajiv.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Programming Languages and Systems [electronic resource] : 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

0
索取号：
作者：Gordon、 Andrew D.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Architecture of Computing Systems - ARCS 2010 [electronic resource] : 23rd International Conference, Hannover, Germany, February 22-25, 2010. Proceedings

0
索取号：
作者：M眉ller-Schloer、 Christian.、Karl、 Wolfgang.、Yehia、 Sami.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Formal Concept Analysis [electronic resource] : 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010. Proceedings

0
索取号：
作者：Kwuida、 L茅onard.、Sertkaya、 Bar谋艧.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Topics in Cryptology - CT-RSA 2010 [electronic resource] : The Cryptographers鈥Բack at the RSA Conference 2010, San Francisco, CA, USA, March 1-5, 2010. Proceedings

0
索取号：
作者：Pieprzyk、 Josef.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Wireless Sensor Networks [electronic resource] : 7th European Conference, EWSN 2010, Coimbra, Portugal, February 17-19, 2010. Proceedings

0
索取号：
作者：Silva、 Jorge S谩.、Krishnamachari、 Bhaskar.、Boavida、 Fernando.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Sensor Applications, Experimentation, and Logistics [electronic resource] : First International Conference, SENSAPPEAL 2009, Athens, Greece, September 25, 2009, Revised Selected Papers

0
索取号：
作者：Komninos、 Nikos.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

High Performance Computing and Applications [electronic resource] : Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers

0
索取号：
作者：Zhang、 Wu.、Chen、 Zhangxin.、Douglas、 Craig C.、Tong、 Weiqin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computer Vision, Imaging and Computer Graphics. Theory and Applications [electronic resource] : International Joint Conference, VISIGRAPP 2009, Lisboa, Portugal, February 5-8, 2009. Revised Selected Papers

0
索取号：
作者：Ranchordas、 AlpeshKumar.、Pereira、 Jo茫o Madeiras.、Ara煤jo、 H茅lder J.、Tavares、 Jo茫o Manuel R. S.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Agents and Artificial Intelligence [electronic resource] : International Conference, ICAART 2009, Porto, Portugal, January 19-21, 2009. Revised Selected Papers

0
索取号：
作者：Filipe、 Joaquim.、Fred、 Ana.、Sharp、 Bernadette.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Mobile Networks and Management [electronic resource] : First International Conference, MONAMI 2009, Athens, Greece, October 13-14, 2009. Revised Selected Papers

0
索取号：
作者：Pentikousis、 Kostas.、Blume、 Oliver.、Ag眉ero Calvo、 Ram贸n.、Papavassiliou、 Symeon.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Adaptive and Learning Agents [electronic resource] : Second Workshop, ALA 2009, Held as Part of the AAMAS 2009 Conference in Budapest, Hungary, May 12, 2009. Revised Selected Papers

0
索取号：
作者：Taylor、 Matthew E.、Tuyls、 Karl.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Abstract State Machines, Alloy, B and Z [electronic resource] : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings

0
索取号：
作者：Frappier、 Marc.、Gl盲sser、 Uwe.、Khurshid、 Sarfraz.、Laleau、 R茅gine.、Reeves、 Steve.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Theory of Cryptography [electronic resource] : 7th Theory of Cryptography Conference, TCC 2010, Zurich, Switzerland, February 9-11, 2010. Proceedings

0
索取号：
作者：Micciancio、 Daniele.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院